Skip to content

Tidy lingering connection/REPL terminology#4034

Merged
bbatsov merged 1 commit into
masterfrom
tidy-terminology
Jun 26, 2026
Merged

Tidy lingering connection/REPL terminology#4034
bbatsov merged 1 commit into
masterfrom
tidy-terminology

Conversation

@bbatsov

@bbatsov bbatsov commented Jun 26, 2026

Copy link
Copy Markdown
Member

Follow-up to the connection -> REPL/session rename, from a terminology audit of the session layer. Aligns the internal names and docstrings that still said "connection" where a REPL buffer is actually meant - no behavior change, no public API touched:

  • rename the internal cider-trace--connection var to cider-trace--repl
  • rename the current-connection local in cider--modeline-info to current-repl
  • docstring wording in cider-map-repls (a -repls function that said "connections"), cider-repl-type-for-buffer / cider-repl-type-override ("connection type" -> "REPL type"), cider--extract-connections, and the modeline helper

Deliberately left alone: the public *-connection* surface (cider-describe-connection, cider-connected-p, cider-connect-*, the cider-connected-hook/cider-disconnected-hook defcustoms, etc.) - a connection genuinely is a real concept (1:1 with a REPL by CIDER's own definition) and these are API/keybindings. The one public symbol whose name arguably contradicts its concept is cider-ensure-connected (it ensures a session); left as-is since renaming public API needs an alias + deprecation cycle - flagging it for a separate decision.

Follow-up to the connection->REPL/session rename.  Align the internal
names and docstrings that still said "connection" where a REPL buffer is
meant:

- rename the internal `cider-trace--connection' var to `cider-trace--repl'
- rename the `current-connection' local in `cider--modeline-info' to
  `current-repl'
- docstring wording in `cider-map-repls', `cider-repl-type-for-buffer',
  `cider-repl-type-override', `cider--extract-connections' and the
  modeline helper

No behavior change.  Public `*-connection*` names are left alone (a
connection genuinely is a concept, and they're part of the API).
@bbatsov bbatsov merged commit b3fe4a0 into master Jun 26, 2026
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant